Herzlich Willkommen
Suche in den Vorlesungsverzeichnissen der UA Ruhr (maximal 250 Einträge)
Allgemeine Hinweise zu den Funktionen der Suchmaske
Suchergebnis:
3 VVZ Einträge (aus 29601) gefunden für: lecturer:"Prof. Dr. Thomas Zeume"
Suchdauer: 9 Millisekunden
-
XXI. Fakultät für Informatik
— Studiengänge IT-Sicherheit, M.Sc. IT-Sicherheit / Netze und Systeme, Veranstaltungen Master PO 2020, praktische Vertiefung
[211122] Seminar über Grenzen in der theoretischen Informatik — Seminar
Prof. Dr. Thomas Zeume- Score: 14.62 Prof. Dr. Thomas Zeume
-
XXI. Fakultät für Informatik
— Studiengänge IT-Sicherheit, M.Sc. IT-Sicherheit / Netze und Systeme, Veranstaltungen Master PO 2020, praktische Vertiefung
[211121] Fortgeschrittene Themen des Model Checking — Seminar
Prof. Dr. Thomas Zeume- Score: 14.62 Prof. Dr. Thomas Zeume
-
XXI. Fakultät für Informatik
— Studiengänge IT-Sicherheit, M.Sc. IT-Sicherheit / Netze und Systeme, Veranstaltungen Master PO 2020, Wahlpflichtmodule
[211028] Komplexitätstheorie — Vorlesung mit Übung
Prof. Dr. Thomas Zeume- Score: 14.62 Prof. Dr. Thomas Zeume
Meinten Sie: Lecture Profs ThoâMas Zeuge ?